The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems

This article aims to provide a perspective on the foundations and developments of net unfolding techniques their applications discrete event systems. The numerous methods applied concurrency presented in literature can be roughly divided into two classes: those that assume represented by means non-deterministic form, represent causal relations. study serves as an ideal starting point for researchers interested true semantics offering concise review one major streams research towards interleaving problems. In order cope with state-explosion problem, approach is used. Based findings theory, are replaced unique partially ordered occurrence net. this paper, we aim comprehensive history unfoldings, based these how they used systems automatic verification compact representations purposes.